Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

Workflow management technology has become a key means to improve enterprise productivity. More and more workflow systems are crossing organizational boundaries may involve multiple interacting organizations. This article focuses on type of loosely coupled architecture with collaborative tasks, i.e., each business partner owns its private process is able operate independently, all involved organizations need be synchronized at certain point complete public tasks. Because organization’s privacy consideration, they unwilling share the details others. In this way, traditional correctness verification approaches via reachability analysis not practical as global model unavailable for preservation. To ensure globally correct execution, work establishes approach cross-organizational task synchronization patterns. Its core idea use local suborganizational guarantee correctness. We prove that proposed can used investigate behavioral property preservation when synthesizing workflows A medical diagnosis running case illustrate applicability approaches. Note Practitioners —Cross-organizational techniques play an increasingly important role in ensuring execution businesses. addresses issue interactive established. All concepts supported by open-source tools, evaluation over shown their applicability. The methodology readily applicable industrial-size problems.